	movq	8(%rsp),%r13
	movq	112(%rsp),%r15
	movq	%r13,%r12
	rorq	$7,%r13
	addq	%r14,%rax
	movq	%r15,%r14
	rorq	$42,%r15
	xorq	%r12,%r13
	shrq	$7,%r12
	rorq	$1,%r13
	xorq	%r14,%r15
	shrq	$6,%r14
	rorq	$19,%r15
	xorq	%r13,%r12
	xorq	%r14,%r15
	addq	72(%rsp),%r12
	addq	0(%rsp),%r12
	movq	%r8,%r13
	addq	%r15,%r12
	movq	%rax,%r14
	rorq	$23,%r13
	movq	%r9,%r15
	xorq	%r8,%r13
	rorq	$5,%r14
	xorq	%r10,%r15
	movq	%r12,0(%rsp)
	xorq	%rax,%r14
	andq	%r8,%r15
	rorq	$4,%r13
	addq	%r11,%r12
	xorq	%r10,%r15
	rorq	$6,%r14
	xorq	%r8,%r13
	addq	%r15,%r12
	movq	%rax,%r15
	addq	(%rbp),%r12
	xorq	%rax,%r14
	xorq	%rbx,%r15
	rorq	$14,%r13
	movq	%rbx,%r11
	andq	%r15,%rdi
	rorq	$28,%r14
	addq	%r13,%r12
	xorq	%rdi,%r11
	addq	%r12,%rdx
	addq	%r12,%r11
	leaq	8(%rbp),%rbp